<html>
<head><meta charset="utf-8"><title>I-prioritize #80059 Unsafe checking skips pointer dereferen… · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6.html">I-prioritize #80059 Unsafe checking skips pointer dereferen…</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="220026216"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380059%20Unsafe%20checking%20skips%20pointer%20dereferen%E2%80%A6/near/220026216" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6.html#220026216">(Dec 15 2020 at 19:04)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/80059">#80059</a> has been requested for prioritization.</p>
<h1><a href="https://forge.rust-lang.org/compiler/prioritization/procedure.html#assign-priority-to-unprioritized-issues-with-i-prioritize-label">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="220049099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380059%20Unsafe%20checking%20skips%20pointer%20dereferen%E2%80%A6/near/220049099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6.html#220049099">(Dec 15 2020 at 22:03)</a>:</h4>
<blockquote>
<p>Probably P-low as it's sound as-is, and has been this way for over 3 years.</p>
</blockquote>
<p>I think either <code>P-low</code> or <code>P-medium</code> are fine here</p>



<a name="220049303"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380059%20Unsafe%20checking%20skips%20pointer%20dereferen%E2%80%A6/near/220049303" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6.html#220049303">(Dec 15 2020 at 22:04)</a>:</h4>
<p><code>P-medium</code> seems better to me, since <code>P-low</code> is often "won't fix".</p>



<a name="220049329"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380059%20Unsafe%20checking%20skips%20pointer%20dereferen%E2%80%A6/near/220049329" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6.html#220049329">(Dec 15 2020 at 22:04)</a>:</h4>
<p><code>P-medium</code> seems good</p>



<a name="220049371"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380059%20Unsafe%20checking%20skips%20pointer%20dereferen%E2%80%A6/near/220049371" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6.html#220049371">(Dec 15 2020 at 22:05)</a>:</h4>
<p>Going with <code>P-medium</code> then</p>



<a name="220049393"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380059%20Unsafe%20checking%20skips%20pointer%20dereferen%E2%80%A6/near/220049393" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6.html#220049393">(Dec 15 2020 at 22:05)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/80059">#80059</a>'s prioritization request has been removed.</p>



<a name="220108369"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380059%20Unsafe%20checking%20skips%20pointer%20dereferen%E2%80%A6/near/220108369" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6.html#220108369">(Dec 16 2020 at 12:18)</a>:</h4>
<p>I'm going to link here a <a href="https://github.com/rust-lang/rust/issues/79735#issuecomment-745506187">comment</a> from <span class="user-mention silent" data-user-id="116009">nikomatsakis</span>  on issue <a href="https://github.com/rust-lang/rust/issues/79735">#79735</a> at least partly relevant to this one, too</p>



<a name="221220853"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380059%20Unsafe%20checking%20skips%20pointer%20dereferen%E2%80%A6/near/221220853" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6.html#221220853">(Dec 30 2020 at 15:37)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@Léo Lanteri Thauvin</span> 3 days ago you tried to remove the <code>I-nominated</code> label but still has that label - should that label be removed?</p>



<a name="221220919"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380059%20Unsafe%20checking%20skips%20pointer%20dereferen%E2%80%A6/near/221220919" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6.html#221220919">(Dec 30 2020 at 15:38)</a>:</h4>
<p>I was wondering if it was nominated for <code>T-lang</code> or <code>T-compiler</code></p>



<a name="221220935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380059%20Unsafe%20checking%20skips%20pointer%20dereferen%E2%80%A6/near/221220935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6.html#221220935">(Dec 30 2020 at 15:38)</a>:</h4>
<p>I don't have the answer, but I think we should skip it in the agenda</p>



<a name="221220948"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380059%20Unsafe%20checking%20skips%20pointer%20dereferen%E2%80%A6/near/221220948" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6.html#221220948">(Dec 30 2020 at 15:39)</a>:</h4>
<p>(i.e. not include it)</p>



<a name="221220970"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380059%20Unsafe%20checking%20skips%20pointer%20dereferen%E2%80%A6/near/221220970" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6.html#221220970">(Dec 30 2020 at 15:39)</a>:</h4>
<p>Ultimately this needs a <code>T-lang</code> decision (see <a href="https://github.com/rust-lang/unsafe-code-guidelines/issues/261">rust-lang/unsafe-code-guidelines#261</a>)</p>



<a name="221221062"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380059%20Unsafe%20checking%20skips%20pointer%20dereferen%E2%80%A6/near/221221062" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6.html#221221062">(Dec 30 2020 at 15:41)</a>:</h4>
<p>ok, will remove it. I was wondering how that label  was still there after a deliberate action to remove it <span aria-label="thinking" class="emoji emoji-1f914" role="img" title="thinking">:thinking:</span></p>



<a name="221221085"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380059%20Unsafe%20checking%20skips%20pointer%20dereferen%E2%80%A6/near/221221085" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6.html#221221085">(Dec 30 2020 at 15:41)</a>:</h4>
<p><span class="user-mention silent" data-user-id="250987">apiraino</span> <a href="#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6/near/221221062">said</a>:</p>
<blockquote>
<p>ok, will remove it</p>
</blockquote>
<p>From the agenda? Or remove the label from the issue?</p>



<a name="221221091"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380059%20Unsafe%20checking%20skips%20pointer%20dereferen%E2%80%A6/near/221221091" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6.html#221221091">(Dec 30 2020 at 15:41)</a>:</h4>
<p>label from issue</p>



<a name="221221147"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380059%20Unsafe%20checking%20skips%20pointer%20dereferen%E2%80%A6/near/221221147" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6.html#221221147">(Dec 30 2020 at 15:42)</a>:</h4>
<p>do the t-lang  pick that label somehow? (sorry always asking the same questions...)</p>



<a name="221221148"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380059%20Unsafe%20checking%20skips%20pointer%20dereferen%E2%80%A6/near/221221148" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6.html#221221148">(Dec 30 2020 at 15:42)</a>:</h4>
<p>I think it should stay there for <code>T-lang</code></p>



<a name="221221149"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380059%20Unsafe%20checking%20skips%20pointer%20dereferen%E2%80%A6/near/221221149" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6.html#221221149">(Dec 30 2020 at 15:42)</a>:</h4>
<p>I'm pretty sure they do</p>



<a name="221221179"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380059%20Unsafe%20checking%20skips%20pointer%20dereferen%E2%80%A6/near/221221179" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6.html#221221179">(Dec 30 2020 at 15:43)</a>:</h4>
<p>ok, then I'd apply the <code>I-nominated</code> back (fix my mistake) but then ... maybe remove <code>T-compiler</code>so it doesnt appear in our agenda?</p>



<a name="221221205"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380059%20Unsafe%20checking%20skips%20pointer%20dereferen%E2%80%A6/near/221221205" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6.html#221221205">(Dec 30 2020 at 15:44)</a>:</h4>
<p>Seems fine to me, with a comment explaining that I guess</p>



<a name="221221256"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380059%20Unsafe%20checking%20skips%20pointer%20dereferen%E2%80%A6/near/221221256" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6.html#221221256">(Dec 30 2020 at 15:44)</a>:</h4>
<p>I can do it if you want</p>



<a name="221221479"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380059%20Unsafe%20checking%20skips%20pointer%20dereferen%E2%80%A6/near/221221479" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380059.20Unsafe.20checking.20skips.20pointer.20dereferen.E2.80.A6.html#221221479">(Dec 30 2020 at 15:47)</a>:</h4>
<p>ok, left a brief note (hope it's fine). Just a small detail so when tomorrow we refresh the agenda this issue doesnt show up</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>